Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams
نویسندگان
چکیده
The Unified Modeling Language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML’s built-in semantic variation points and extension mechanisms. The semantics specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter. Feasible semantics approaches must thus allow advanced UML modelers to define domain-specific language extensions in a precise, yet usable manner. We have proposed dynamic meta modeling for specifying operational semantics of UML behavioral diagrams based on UML collaboration diagrams that are interpreted as graph transformation rules. Herein we show how this approach can be advanced to specify the semantics of UML extensions. As a case study we specify the operational semantics of UML sequence diagrams and extend this specification to include features for modeling multimedia applications.
منابع مشابه
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s st...
متن کاملPreface to FP-UML 2009
The Unified Modeling Language (UML) has been widely accepted as the standard object-oriented (OO) modeling language for modeling various aspects of software and information systems. The UML is an extensible language, in the sense that it provides mechanisms to introduce new elements for specific domains if necessary, such as web applications, database applications, business modeling, software d...
متن کاملFrom MSC-2000 to UML 2.0 - The Future of Sequence Diagrams
This paper discusses how MSC-2000 could influence the Sequence Diagrams within UML 2.0, and why the UML 1.x semantics is partly inadequate for what is needed in the area of sequence charts. Extracts of a possible UML meta-model is shown and this can be understood as a conceptual model for MSC-2000 as well and an indication of an approach to the future MSC-2000 semantics. UML Collaboration Diagr...
متن کاملA Framework for the Verification of UML Models. Examples Using Petri Nets
This paper presents a framework for the verification of UML models. Our approach is to build meta-models for the different UML diagrams and translate them into formalisms (whose syntax is also specified with a meta-model) in which properties of interest can be proved. The translation (denotational semantics) as well as the formalisms operational semantics are formally described by means of grap...
متن کاملTowards Visual AspectJ by a Meta Model and Modeling Notation
A meta model specifies a particular visual modeling language. Aspect oriented modeling (AOM) needs meta models for aspect visual modeling to bridge the gap between the conceptual modeling of crosscut concerns and aspect oriented programming (AOP). Many researchers have proposed extensions of the UML towards graphical notations for aspects. However, notations without an underlying formal semanti...
متن کامل